J. R. Shoenfield; "Mathmetical Logic"
Joseph R. Shoenfield